Symbolic Observer-Based Controller for Uncertain Nonlinear Systems

Symbolic control is an approach to the of continuous or hybrid systems with specifications expressed in a logic form. This based on use symbolic models describing dynamical system behavior finite description transition relation between its states. In literature, many results using this assume availability full and exact information about states compute actions. letter, we consider more realistic scenario where only partial plant available. letter proposes abstraction that makes it possible synthesize output-feedback controllers. The presence disturbances output noise also considered. A direct path observer designs classical theory synthesis formal methods established numerical example provided illustrate results.